<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>SemOpt: SetArgumentsVector Class Reference</title>

<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
</script>


</head>
<body>
<div id="top"><!-- do not remove this div! -->


<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  
  
  <td style="padding-left: 0.5em;">
   <div id="projectname">SemOpt
   &#160;<span id="projectnumber">0.2alpha5-SCC</span>
   </div>
   
  </td>
  
  
  
 </tr>
 </tbody>
</table>
</div>

<!-- Generated by Doxygen 1.7.6.1 -->
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li class="current"><a href="annotated.html"><span>Classes</span></a></li>
      <li><a href="files.html"><span>Files</span></a></li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="annotated.html"><span>Class&#160;List</span></a></li>
      <li><a href="classes.html"><span>Class&#160;Index</span></a></li>
      <li><a href="functions.html"><span>Class&#160;Members</span></a></li>
    </ul>
  </div>
</div>
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
  initNavTree('classSetArgumentsVector.html','');
</script>
<div id="doc-content">
<div class="header">
  <div class="summary">
<a href="#pub-methods">Public Member Functions</a> &#124;
<a href="#pri-static-methods">Static Private Member Functions</a>  </div>
  <div class="headertitle">
<div class="title">SetArgumentsVector Class Reference</div>  </div>
</div><!--header-->
<div class="contents">
<!-- doxytag: class="SetArgumentsVector" -->
<p>Class representing a vector of labelling assignment.  
 <a href="classSetArgumentsVector.html#details">More...</a></p>

<p><a href="classSetArgumentsVector-members.html">List of all members.</a></p>
<table class="memberdecls">
<tr><td colspan="2"><h2><a name="pub-methods"></a>
Public Member Functions</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#aff070d4484bdcb0dcc53321dbd3efabc">SetArgumentsVector</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">constructs an empty vector of <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>  <a href="#aff070d4484bdcb0dcc53321dbd3efabc"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#ac2aaabbfcdd58300c645650b7b7e19e2">SetArgumentsVector</a> (vector&lt; <a class="el" href="classSetArguments.html">SetArguments</a> * &gt; &amp;_list)</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Construct a <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> with stored the same elements stored in the parameter.  <a href="#ac2aaabbfcdd58300c645650b7b7e19e2"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#a1d1da16bbccc30b32751ee478d9b1293">~SetArgumentsVector</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Free correctly a <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>.  <a href="#a1d1da16bbccc30b32751ee478d9b1293"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#afb82f5a112609999e94719baf36f72e2">clone</a> (<a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> *list)</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">clone all the references used in the caller set  <a href="#afb82f5a112609999e94719baf36f72e2"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSetArguments.html">SetArguments</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#a97d6b6d14b59dbf1a51aaf10bda05f94">at</a> (unsigned int i) const </td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">the <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> positioned to i index  <a href="#a97d6b6d14b59dbf1a51aaf10bda05f94"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#ae6509c9af6ffd7d9bbee2e0fbe3691ec">push_back</a> (<a class="el" href="classSetArguments.html">SetArguments</a> *lab)</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">add a new <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> in this set  <a href="#ae6509c9af6ffd7d9bbee2e0fbe3691ec"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#a76cc9937a09ecfec12eb82777717b255">clearAll</a> ()</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">unsigned int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#acfa816d29faed3b3e19a48d0457c6f0a">size</a> () const </td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">the size of this set of <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>  <a href="#acfa816d29faed3b3e19a48d0457c6f0a"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">SetArgumentsVectorIterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#aa633ab749e1200f2321d80ce76a98505">begin</a> () const </td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">return the first element of the list  <a href="#aa633ab749e1200f2321d80ce76a98505"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">SetArgumentsVectorIterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#a9a862e30af38a72e402e1ae4f7f5425b">end</a> () const </td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">return the last element of the list  <a href="#a9a862e30af38a72e402e1ae4f7f5425b"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#ad7c955dec8507545c743d0bb637ea64e">operator=</a> (<a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> rhs)</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">assign the same value of the rhs in the lhs  <a href="#ad7c955dec8507545c743d0bb637ea64e"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#a0a5149e33a856623c7430ac6053b6018">operator==</a> (const <a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> &amp;other) const </td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">checks if the 2 <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> store the same <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>.  <a href="#a0a5149e33a856623c7430ac6053b6018"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#aaba29693afa29251637f31a8514ea527">operator!=</a> (const <a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> &amp;other) const </td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">checks if the 2 <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> differ from somthing.  <a href="#aaba29693afa29251637f31a8514ea527"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#a8cc07d968854d13c5dd4305bbcdaf96a">exist</a> (const <a class="el" href="classSetArguments.html">SetArguments</a> *lab) const </td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">check wether or not a <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> exist in the caller <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>  <a href="#a8cc07d968854d13c5dd4305bbcdaf96a"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#a92e628177038610e3ec4e34a76e46f6f">addSetArgumentsToAll</a> (const <a class="el" href="classSetArguments.html">SetArguments</a> *set)</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">add to all the set in the <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> the elements stored in the parameter  <a href="#a92e628177038610e3ec4e34a76e46f6f"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#ae4a302a74ba91f219fb96c20553db4bc">empty</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">check wether or not this set is completely empty.  <a href="#ae4a302a74ba91f219fb96c20553db4bc"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a8e0ea5f84c56a04aefada08b4dd87c08"></a><!-- doxytag: member="SetArgumentsVector::pop_back" ref="a8e0ea5f84c56a04aefada08b4dd87c08" args="()" -->
void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#a8e0ea5f84c56a04aefada08b4dd87c08">pop_back</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">pop the top <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> of the vector <br/></td></tr>
<tr><td colspan="2"><h2><a name="pri-static-methods"></a>
Static Private Member Functions</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSetArgumentsVector.html#aa746bb341d961e7b5005b8687ae10d79">swap</a> (<a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> &amp;first, <a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> &amp;second)</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">swap to different area of memory occupied by <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>  <a href="#aa746bb341d961e7b5005b8687ae10d79"></a><br/></td></tr>
</table>
<hr/><a name="details" id="details"></a><h2>Detailed Description</h2>
<div class="textblock"><p>Class representing a vector of labelling assignment. </p>
<dl class="author"><dt><b>Author:</b></dt><dd>Massimo Bono </dd></dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8h_source.html#l00030">30</a> of file <a class="el" href="SetArgumentsVector_8h_source.html">SetArgumentsVector.h</a>.</p>
</div><hr/><h2>Constructor &amp; Destructor Documentation</h2>
<a class="anchor" id="aff070d4484bdcb0dcc53321dbd3efabc"></a><!-- doxytag: member="SetArgumentsVector::SetArgumentsVector" ref="aff070d4484bdcb0dcc53321dbd3efabc" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classSetArgumentsVector.html#aff070d4484bdcb0dcc53321dbd3efabc">SetArgumentsVector::SetArgumentsVector</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>constructs an empty vector of <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> </p>
<p>This funcition creates a new instance of a <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> where: </p>
<ul>
<li>the set of <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> is empty </li>
</ul>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00015">15</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

</div>
</div>
<a class="anchor" id="ac2aaabbfcdd58300c645650b7b7e19e2"></a><!-- doxytag: member="SetArgumentsVector::SetArgumentsVector" ref="ac2aaabbfcdd58300c645650b7b7e19e2" args="(vector&lt; SetArguments * &gt; &amp;_list)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classSetArgumentsVector.html#aff070d4484bdcb0dcc53321dbd3efabc">SetArgumentsVector::SetArgumentsVector</a> </td>
          <td>(</td>
          <td class="paramtype">vector&lt; <a class="el" href="classSetArguments.html">SetArguments</a> * &gt; &amp;&#160;</td>
          <td class="paramname"><em>_list</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Construct a <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> with stored the same elements stored in the parameter. </p>
<p>The function copies the values of the _list in the newly create instance, so changes to the new structure will not change the original one. Moreover, because of the reference, this copy is fast.</p>
<dl class="pre"><dt><b>Precondition:</b></dt><dd><ul>
<li>_list must have been built correctly</li>
</ul>
</dd></dl>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramname">_list</td><td>the initial value of the set of set of Arguments </td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00088">88</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

</div>
</div>
<a class="anchor" id="a1d1da16bbccc30b32751ee478d9b1293"></a><!-- doxytag: member="SetArgumentsVector::~SetArgumentsVector" ref="a1d1da16bbccc30b32751ee478d9b1293" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classSetArgumentsVector.html#a1d1da16bbccc30b32751ee478d9b1293">SetArgumentsVector::~SetArgumentsVector</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td><code> [virtual]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Free correctly a <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>. </p>
<p>The destructor free all the <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> pointed by this class. No <a class="el" href="classArgument.html" title="Class representing an Argument.">Argument</a> will be free though. The way this function works can be shown with the graph displayed: all the red stuff is deallocates while the black items reamin untouched; as the figure shows, only the Arguments themselves are not freed.</p>
<div align="center">
<img src="dot_inline_dotgraph_17.png" alt="dot_inline_dotgraph_17.png" border="0" usemap="#dot_inline_dotgraph_17.map"/>
<map name="dot_inline_dotgraph_17.map" id="dot_inline_dotgraph_17.map"></map>
</div>
 
<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00152">152</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

</div>
</div>
<hr/><h2>Member Function Documentation</h2>
<a class="anchor" id="a92e628177038610e3ec4e34a76e46f6f"></a><!-- doxytag: member="SetArgumentsVector::addSetArgumentsToAll" ref="a92e628177038610e3ec4e34a76e46f6f" args="(const SetArguments *set)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classSetArgumentsVector.html#a92e628177038610e3ec4e34a76e46f6f">SetArgumentsVector::addSetArgumentsToAll</a> </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classSetArguments.html">SetArguments</a> *&#160;</td>
          <td class="paramname"><em>set</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>add to all the set in the <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> the elements stored in the parameter </p>
<p>This function allows you to add for each <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> inside the caller object every <a class="el" href="classArgument.html" title="Class representing an Argument.">Argument</a> stored in the <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> named set. Theorically this function implements the operator <img class="formulaInl" alt="$ \otimes $" src="form_16.png"/>: </p>
<p class="formulaDsp">
<img class="formulaDsp" alt="\[ A \otimes E \hat{=} \{ e_{i}^{new} : e_{i}^{new}=e_{i} \cup A\} \]" src="form_17.png"/>
</p>
<p> where: </p>
<ul>
<li>A is a set of Arguments; </li>
<li>E is a set of set of Arguments; </li>
<li><img class="formulaInl" alt="$ e_{i} $" src="form_18.png"/> is a generic set inside E;</li>
</ul>
<p>Let's make it clearer with an example: </p>
<ul>
<li><img class="formulaInl" alt="$ A=\{ a, b \}$" src="form_19.png"/> </li>
<li><img class="formulaInl" alt="$ E=\{ \{ e, d \} \{ a, e \} \{ b, c, d \} \{ a, b \} \}$" src="form_20.png"/> If you assume this hypothesis then <img class="formulaInl" alt="$ A \otimes E $" src="form_21.png"/> will be: <p class="formulaDsp">
<img class="formulaDsp" alt="\[ A \otimes E = \{ \{ a, b, e, d \} \{ a, b, e \} \{ a, b, c, d \} \{ a, b \} \} \]" src="form_22.png"/>
</p>
</li>
</ul>
<dl class="pre"><dt><b>Precondition:</b></dt><dd><ul>
<li>set built correctly; </li>
</ul>
</dd></dl>
<dl class="post"><dt><b>Postcondition:</b></dt><dd><ul>
<li>every set held in the caller object contains every Arguments stored in set object</li>
</ul>
</dd></dl>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramname">set</td><td>the list of elements to be added to all the <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> stored in the caller object </td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00187">187</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

<p>References <a class="el" href="SetArgumentsVector_8cpp_source.html#l00311">begin()</a>, and <a class="el" href="SetArgumentsVector_8cpp_source.html#l00327">end()</a>.</p>

</div>
</div>
<a class="anchor" id="a97d6b6d14b59dbf1a51aaf10bda05f94"></a><!-- doxytag: member="SetArgumentsVector::at" ref="a97d6b6d14b59dbf1a51aaf10bda05f94" args="(unsigned int i) const " -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classSetArguments.html">SetArguments</a> * <a class="el" href="classSetArgumentsVector.html#a97d6b6d14b59dbf1a51aaf10bda05f94">SetArgumentsVector::at</a> </td>
          <td>(</td>
          <td class="paramtype">unsigned int&#160;</td>
          <td class="paramname"><em>i</em></td><td>)</td>
          <td> const</td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>the <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> positioned to i index </p>
<dl class="return"><dt><b>Returns:</b></dt><dd>the <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> stored at the i position </dd></dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00266">266</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

</div>
</div>
<a class="anchor" id="aa633ab749e1200f2321d80ce76a98505"></a><!-- doxytag: member="SetArgumentsVector::begin" ref="aa633ab749e1200f2321d80ce76a98505" args="() const " -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">SetArgumentsVectorIterator <a class="el" href="classSetArgumentsVector.html#aa633ab749e1200f2321d80ce76a98505">SetArgumentsVector::begin</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td> const</td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>return the first element of the list </p>
<p>This function is essential to navigate in the data structure, usually to find an element. You can do it easily like this code: </p>
<div class="fragment"><pre class="fragment">        <span class="keywordflow">for</span> (<span class="keyword">auto</span> it=labellingListInstance.begin();it!=labellingListInstance.end();it++){
                cout &lt;&lt; <span class="stringliteral">&quot;labelling element: &quot;</span> &lt;&lt; *it &lt;&lt; endl;
        }
</pre></div><dl class="return"><dt><b>Returns:</b></dt><dd>a pointer to the first element of this <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> list </dd></dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00311">311</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

<p>Referenced by <a class="el" href="SetArgumentsVector_8cpp_source.html#l00187">addSetArgumentsToAll()</a>, <a class="el" href="SetArgumentsVector_8cpp_source.html#l00072">clone()</a>, <a class="el" href="SetArgumentsVector_8cpp_source.html#l00248">exist()</a>, <a class="el" href="SetArgumentsVector_8cpp_source.html#l00372">operator+()</a>, <a class="el" href="SetArgumentsVector_8cpp_source.html#l00343">operator&lt;&lt;()</a>, and <a class="el" href="SetArgumentsVector_8cpp_source.html#l00415">operator==()</a>.</p>

</div>
</div>
<a class="anchor" id="a76cc9937a09ecfec12eb82777717b255"></a><!-- doxytag: member="SetArgumentsVector::clearAll" ref="a76cc9937a09ecfec12eb82777717b255" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classSetArgumentsVector.html#a76cc9937a09ecfec12eb82777717b255">SetArgumentsVector::clearAll</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">
<p>removes all the structured contained in the instance. </p>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00286">286</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

</div>
</div>
<a class="anchor" id="afb82f5a112609999e94719baf36f72e2"></a><!-- doxytag: member="SetArgumentsVector::clone" ref="afb82f5a112609999e94719baf36f72e2" args="(SetArgumentsVector *list)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classSetArgumentsVector.html#afb82f5a112609999e94719baf36f72e2">SetArgumentsVector::clone</a> </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> *&#160;</td>
          <td class="paramname"><em>list</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>clone all the references used in the caller set </p>
<p>The function clones the caller <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> and puts the clone in the area of memory pointed by the input parameter. The function copies only the references to the object under the caller set, not the objects themselves: pratically no <a class="el" href="classArgument.html" title="Class representing an Argument.">Argument</a> or Label contained in any <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> will be cloned. In the figure the red lines are created by this functions.</p>
<div align="center">
<img src="dot_inline_dotgraph_18.png" alt="dot_inline_dotgraph_18.png" border="0" usemap="#dot_inline_dotgraph_18.map"/>
<map name="dot_inline_dotgraph_18.map" id="dot_inline_dotgraph_18.map"></map>
</div>
<dl class="pre"><dt><b>Precondition:</b></dt><dd><ul>
<li>list must be constructed correctly; </li>
</ul>
</dd></dl>
<dl class="post"><dt><b>Postcondition:</b></dt><dd><ul>
<li>the instance pointed by list contains the exact data of the caller</li>
</ul>
</dd></dl>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramname">list</td><td>the object that will hold the clone of the caller </td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00072">72</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

<p>References <a class="el" href="SetArgumentsVector_8cpp_source.html#l00311">begin()</a>, <a class="el" href="SetArgumentsVector_8cpp_source.html#l00327">end()</a>, and <a class="el" href="SetArgumentsVector_8cpp_source.html#l00279">push_back()</a>.</p>

</div>
</div>
<a class="anchor" id="ae4a302a74ba91f219fb96c20553db4bc"></a><!-- doxytag: member="SetArgumentsVector::empty" ref="ae4a302a74ba91f219fb96c20553db4bc" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">bool <a class="el" href="classSetArgumentsVector.html#ae4a302a74ba91f219fb96c20553db4bc">SetArgumentsVector::empty</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>check wether or not this set is completely empty. </p>
<dl class="return"><dt><b>Returns:</b></dt><dd>TRUE if in the caller object there are no <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> references, FALSE otherwise </dd></dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00203">203</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

</div>
</div>
<a class="anchor" id="a9a862e30af38a72e402e1ae4f7f5425b"></a><!-- doxytag: member="SetArgumentsVector::end" ref="a9a862e30af38a72e402e1ae4f7f5425b" args="() const " -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">SetArgumentsVectorIterator <a class="el" href="classSetArgumentsVector.html#a9a862e30af38a72e402e1ae4f7f5425b">SetArgumentsVector::end</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td> const</td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>return the last element of the list </p>
<p>This function is essential to navigate in the data structure, usually to find an element. You can do it easily like this code: </p>
<div class="fragment"><pre class="fragment">        <span class="keywordflow">for</span> (<span class="keyword">auto</span> it=labellingListInstance.begin();it!=labellingListInstance.end();it++){
                cout &lt;&lt; <span class="stringliteral">&quot;labelling element: &quot;</span> &lt;&lt; *it &lt;&lt; endl;
        }
</pre></div><dl class="return"><dt><b>Returns:</b></dt><dd>a pointer to the last element of this <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> list </dd></dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00327">327</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

<p>Referenced by <a class="el" href="SetArgumentsVector_8cpp_source.html#l00187">addSetArgumentsToAll()</a>, <a class="el" href="SetArgumentsVector_8cpp_source.html#l00072">clone()</a>, <a class="el" href="SetArgumentsVector_8cpp_source.html#l00248">exist()</a>, <a class="el" href="SetArgumentsVector_8cpp_source.html#l00372">operator+()</a>, <a class="el" href="SetArgumentsVector_8cpp_source.html#l00343">operator&lt;&lt;()</a>, and <a class="el" href="SetArgumentsVector_8cpp_source.html#l00415">operator==()</a>.</p>

</div>
</div>
<a class="anchor" id="a8cc07d968854d13c5dd4305bbcdaf96a"></a><!-- doxytag: member="SetArgumentsVector::exist" ref="a8cc07d968854d13c5dd4305bbcdaf96a" args="(const SetArguments *lab) const " -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">bool <a class="el" href="classSetArgumentsVector.html#a8cc07d968854d13c5dd4305bbcdaf96a">SetArgumentsVector::exist</a> </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classSetArguments.html">SetArguments</a> *&#160;</td>
          <td class="paramname"><em>lab</em></td><td>)</td>
          <td> const</td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>check wether or not a <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> exist in the caller <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> </p>
<p>This function allows you to check if a <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> is stored in the caller object. The function check the real value of the sets, not only the reference.</p>
<div align="center">
<img src="dot_inline_dotgraph_19.png" alt="dot_inline_dotgraph_19.png" border="0" usemap="#dot_inline_dotgraph_19.map"/>
<map name="dot_inline_dotgraph_19.map" id="dot_inline_dotgraph_19.map"></map>
</div>
<p>Let assume that you want to check if the set "C" exist in the <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>. C is identical to A, so C is basically contained in the <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>. The function check first if the pointer is stored in the set and only then check if the real value is contained in the set; in this way: </p>
<ul>
<li>the search of the pointer itself results in failure; </li>
<li>the search of value results in success;</li>
</ul>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramname">lab</td><td>the <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> to look for </td></tr>
  </table>
  </dd>
</dl>
<dl class="return"><dt><b>Returns:</b></dt><dd>TRUE if the <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> is stored in the caller objct, FALSE otherwise </dd></dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00248">248</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

<p>References <a class="el" href="SetArgumentsVector_8cpp_source.html#l00311">begin()</a>, <a class="el" href="SetArgumentsVector_8cpp_source.html#l00327">end()</a>, and <a class="el" href="SetArguments_8cpp_source.html#l00919">SetArguments::equal()</a>.</p>

<p>Referenced by <a class="el" href="SetArgumentsVector_8cpp_source.html#l00415">operator==()</a>.</p>

</div>
</div>
<a class="anchor" id="aaba29693afa29251637f31a8514ea527"></a><!-- doxytag: member="SetArgumentsVector::operator!=" ref="aaba29693afa29251637f31a8514ea527" args="(const SetArgumentsVector &amp;other) const " -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">bool SetArgumentsVector::operator!= </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> &amp;&#160;</td>
          <td class="paramname"><em>other</em></td><td>)</td>
          <td> const</td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>checks if the 2 <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> differ from somthing. </p>
<p>The function allows you to compare 2 <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> and test if 2 <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> store the same information. The operator: </p>
<ul>
<li>doesn't care about <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> order in the <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>. For example these 2 sets are equal: <p class="formulaDsp">
<img class="formulaDsp" alt="\[A=\{\{a,b,c\}\{d,e,f\}\}\]" src="form_27.png"/>
</p>
 <p class="formulaDsp">
<img class="formulaDsp" alt="\[B=\{\{d,e,f\}\{a,b,c\}\}\]" src="form_28.png"/>
</p>
 </li>
<li>doesn't care about the <a class="el" href="classArgument.html" title="Class representing an Argument.">Argument</a> order in a particular <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>. For example these 2 sets are equal: <p class="formulaDsp">
<img class="formulaDsp" alt="\[A=\{\{a,b,c\}\{d,e,f\}\}\]" src="form_27.png"/>
</p>
 <p class="formulaDsp">
<img class="formulaDsp" alt="\[B=\{\{a,c,b\}\{d,e,f\}\}\]" src="form_29.png"/>
</p>
</li>
</ul>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramname">other</td><td>the set to be compared </td></tr>
  </table>
  </dd>
</dl>
<dl class="return"><dt><b>Returns:</b></dt><dd>FALSE if the 2 Sets are equal, TRUE otherwise </dd></dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00440">440</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

</div>
</div>
<a class="anchor" id="ad7c955dec8507545c743d0bb637ea64e"></a><!-- doxytag: member="SetArgumentsVector::operator=" ref="ad7c955dec8507545c743d0bb637ea64e" args="(SetArgumentsVector rhs)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> &amp; SetArgumentsVector::operator= </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a>&#160;</td>
          <td class="paramname"><em>rhs</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>assign the same value of the rhs in the lhs </p>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramname">rhs</td><td>the value to assign </td></tr>
  </table>
  </dd>
</dl>
<dl class="return"><dt><b>Returns:</b></dt><dd>the value assigned </dd></dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00394">394</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

<p>References <a class="el" href="SetArgumentsVector_8cpp_source.html#l00384">swap()</a>.</p>

</div>
</div>
<a class="anchor" id="a0a5149e33a856623c7430ac6053b6018"></a><!-- doxytag: member="SetArgumentsVector::operator==" ref="a0a5149e33a856623c7430ac6053b6018" args="(const SetArgumentsVector &amp;other) const " -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">bool SetArgumentsVector::operator== </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> &amp;&#160;</td>
          <td class="paramname"><em>other</em></td><td>)</td>
          <td> const</td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>checks if the 2 <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> store the same <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>. </p>
<p>The functionallows you to compare 2 <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> and test if 2 <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> store the same information. The operator: </p>
<ul>
<li>doesn't care about <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> order in the <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>. For example these 2 sets are equal: <p class="formulaDsp">
<img class="formulaDsp" alt="\[A=\{\{a,b,c\}\{d,e,f\}\}\]" src="form_27.png"/>
</p>
 <p class="formulaDsp">
<img class="formulaDsp" alt="\[B=\{\{d,e,f\}\{a,b,c\}\}\]" src="form_28.png"/>
</p>
 </li>
<li>doesn't care about the <a class="el" href="classArgument.html" title="Class representing an Argument.">Argument</a> order in a particular <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>. For example these 2 sets are equal: <p class="formulaDsp">
<img class="formulaDsp" alt="\[A=\{\{a,b,c\}\{d,e,f\}\}\]" src="form_27.png"/>
</p>
 <p class="formulaDsp">
<img class="formulaDsp" alt="\[B=\{\{a,c,b\}\{d,e,f\}\}\]" src="form_29.png"/>
</p>
</li>
</ul>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramname">other</td><td>the set to be compared </td></tr>
  </table>
  </dd>
</dl>
<dl class="return"><dt><b>Returns:</b></dt><dd>TRUE if the 2 Sets are equal, FALSE otherwise </dd></dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00415">415</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

<p>References <a class="el" href="SetArgumentsVector_8cpp_source.html#l00311">begin()</a>, <a class="el" href="SetArgumentsVector_8cpp_source.html#l00327">end()</a>, <a class="el" href="SetArgumentsVector_8cpp_source.html#l00248">exist()</a>, and <a class="el" href="SetArgumentsVector_8cpp_source.html#l00295">size()</a>.</p>

</div>
</div>
<a class="anchor" id="ae6509c9af6ffd7d9bbee2e0fbe3691ec"></a><!-- doxytag: member="SetArgumentsVector::push_back" ref="ae6509c9af6ffd7d9bbee2e0fbe3691ec" args="(SetArguments *lab)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classSetArgumentsVector.html#ae6509c9af6ffd7d9bbee2e0fbe3691ec">SetArgumentsVector::push_back</a> </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="classSetArguments.html">SetArguments</a> *&#160;</td>
          <td class="paramname"><em>set</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>add a new <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> in this set </p>
<dl class="pre"><dt><b>Precondition:</b></dt><dd><ul>
<li>set not NULL; </li>
</ul>
</dd></dl>
<dl class="post"><dt><b>Postcondition:</b></dt><dd><ul>
<li>the set data is copied into the data structure</li>
</ul>
</dd></dl>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramname">set</td><td>the new label to insert in the structure </td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00279">279</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

<p>Referenced by <a class="el" href="SetArgumentsVector_8cpp_source.html#l00072">clone()</a>, and <a class="el" href="SetArgumentsVector_8cpp_source.html#l00372">operator+()</a>.</p>

</div>
</div>
<a class="anchor" id="acfa816d29faed3b3e19a48d0457c6f0a"></a><!-- doxytag: member="SetArgumentsVector::size" ref="acfa816d29faed3b3e19a48d0457c6f0a" args="() const " -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">unsigned int <a class="el" href="classSetArgumentsVector.html#acfa816d29faed3b3e19a48d0457c6f0a">SetArgumentsVector::size</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td> const</td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>the size of this set of <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> </p>
<dl class="return"><dt><b>Returns:</b></dt><dd>the number of <a class="el" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> stored in this instance </dd></dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00295">295</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

<p>Referenced by <a class="el" href="SetArgumentsVector_8cpp_source.html#l00343">operator&lt;&lt;()</a>, and <a class="el" href="SetArgumentsVector_8cpp_source.html#l00415">operator==()</a>.</p>

</div>
</div>
<a class="anchor" id="aa746bb341d961e7b5005b8687ae10d79"></a><!-- doxytag: member="SetArgumentsVector::swap" ref="aa746bb341d961e7b5005b8687ae10d79" args="(SetArgumentsVector &amp;first, SetArgumentsVector &amp;second)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classSetArgumentsVector.html#aa746bb341d961e7b5005b8687ae10d79">SetArgumentsVector::swap</a> </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> &amp;&#160;</td>
          <td class="paramname"><em>first</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a> &amp;&#160;</td>
          <td class="paramname"><em>second</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td><code> [static, private]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>swap to different area of memory occupied by <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> </p>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramname">first</td><td>a <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> to be swapped </td></tr>
    <tr><td class="paramname">second</td><td>a <a class="el" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> to be swapped </td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="SetArgumentsVector_8cpp_source.html#l00384">384</a> of file <a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a>.</p>

<p>Referenced by <a class="el" href="SetArgumentsVector_8cpp_source.html#l00394">operator=()</a>.</p>

</div>
</div>
<hr/>The documentation for this class was generated from the following files:<ul>
<li>src/<a class="el" href="SetArgumentsVector_8h_source.html">SetArgumentsVector.h</a></li>
<li>src/<a class="el" href="SetArgumentsVector_8cpp_source.html">SetArgumentsVector.cpp</a></li>
</ul>
</div><!-- contents -->
</div>
  <div id="nav-path" class="navpath">
    <ul>
      <li class="navelem"><a class="el" href="classSetArgumentsVector.html">SetArgumentsVector</a>      </li>

    <li class="footer">Generated on Fri Jan 17 2014 11:47:53 for SemOpt by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.6.1 </li>
   </ul>
 </div>


</body>
</html>
